Computer-based testing - PDFSEARCH.IO - Document Search Engine

Computer-based testing
Results: 254

#	Item
21	Within-Document Term-Based Index Pruning with Statistical Hypothesis Testing Sree Lekha Thota and Ben Carterette Department of Computer and Information Sciences University of Delaware, Newark, DE, USA , c Add to Reading List Source URL: ir.cis.udel.edu Language: English - Date: 2011-08-13 09:15:29 Hypothesis testing Design of experiments Natural language processing Statistical inference Statistical natural language processing Statistical hypothesis testing Language model Tfidf Statistics N-gram Statistical power Pruning
22	Search Based Software Engineering: Foundations, Challenges and Recent Advances Marouane Kessentini SBSE Research Lab, CIS Department, College of Engineering and Computer Science, Add to Reading List Source URL: wcci2016.org Language: English Software engineering Software quality Program analysis Search-based software engineering Software testing SBSE Mark Harman Code refactoring Computer science
23	International Journal of Computer Theory and Engineering CONTENTS Volume 5, Number 4, August 2013 A Voting-Based Combination System for Protein Cellular Localization Sites Prediction……………………..585 Hafida B Add to Reading List Source URL: www.ijcte.org Language: English - Date: 2015-02-14 06:15:58 Alternatives to animal testing Computational science Computer simulation Scientific modeling Virtual reality Simulation Prediction
24	Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications David Brumley, Pongsin Poosankam Dawn Song Jiang Zheng {dbrumley,ppoosank}@cs.cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software testing Software bugs Hacking Buffer overflow Computer memory Vulnerability Static single assignment form Exploit Patch Test data generation Concolic testing
25	Adaptive Testing by Bayesian Networks with Application to Language Assessment Francesca Mangili1 , Claudio Bonesana1 , Alessandro Antonucci1 , Marco Zaffalon1 , Elisa Rubegni2 , and Loredana Addimando2 1 Add to Reading List Source URL: ipg.idsia.ch Language: English - Date: 2016-06-24 10:12:56 Information theory Psychometrics Statistical models Statistical theory Computer-based testing Computerized adaptive testing Bayesian network Entropy Trinity Broadcasting Network Item response theory Graduate Record Examinations Conditional entropy
26	RWset: Attacking Path Explosion in Constraint-Based Test Generation Peter Boonstoppel, Cristian Cadar, Dawson Engler Computer Systems Laboratory, Stanford University Abstract. Recent work has used variations of symbolic Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Constraint programming Abstract interpretation Symbolic execution Constraint Program optimization Concolic testing Constraint logic programming
27	Software and System Engineering for Cyber-Physical Systems: technical challenges and collaboration opportunities 26 January 2016 – IRIT Toulouse http://www.cpse-labs.eu/news_item6.php Workshop goals Add to Reading List Source URL: www.erts2016.org Language: English - Date: 2016-01-07 12:52:40 Engineering Computing Technology Computer systems Systems engineering Cyber-physical system Systems Modeling Language Internet of things Object Process Methodology Computer security Model-based testing Systems design
28	Applying Search in an Automatic Contract-Based Testing Tool Alexey Kolesnichenko, Christopher M. Poskitt, and Bertrand Meyer ETH Z¨ urich, Switzerland Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-08-30 12:25:15 Software engineering Software testing Computing Theoretical computer science Formal methods Logic in computer science Object-oriented programming Postcondition Random testing Eiffel General-purpose computing on graphics processing units Test data generation
29	More Secure Software Systems by Formal Verification, Property-Based Testing, Secure Compilation, and Dynamic Monitoring Cătălin Hrițcu Inria Paris, Prosecco team Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2015-12-15 12:26:17 Security Computer security Cyberwarfare Formal methods Logic in computer science E-commerce Secure communication Cryptographic software Formal verification Cryptographic protocol Vulnerability ProVerif
30	Penetration Testing & Ethical Hacking Graduate Certificate The SANS Technology Institute’s post-baccalaureate certificate program in Penetration Testing & Ethical Hacking is based entirely upon four courses already ava Add to Reading List Source URL: www.sans.edu Language: English - Date: 2015-08-20 16:00:38 Computer security Computing Security Computer network security Hacking Global Information Assurance Certification SANS Institute White hat Penetration test Professional certification Security hacker

UPDATE